Coccinelle: Tool support for automated CERT C Secure Coding Standard certification
نویسندگان
چکیده
منابع مشابه
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification
Writing correct C programs is well-known to be hard, not least due to the many language features intrinsic to C. Writing secure C programs is even harder and, at times, seemingly impossible. To improve on this situation the US CERT has developed and published a set of coding standards, the “CERT C Secure Coding Standard”, that (in the version currently being worked on) enumerates 122 rules and ...
متن کاملClang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification
Writing correct C programs is well-known to be hard, not least due to the many language features intrinsic to C. Writing secure C programs is even harder and, at times, seemingly impossible. To improve on this situation the US CERT has developed and published a set of coding standards, the “CERT C Secure Coding Standard”, that (in the current version) enumerates 118 rules and 182 recommendation...
متن کاملInformation Technology Security Evaluation Using CERT C Secure Coding Standard
IT products developed without due consideration of security issues have caused many security accidents over the last ten years. As a result, the importance of security in software development is increasing. It is important to ensure that no known vulnerabilities remain in the design, development, and test stage, in order to develop secure IT products. Even when an IT product is designed securel...
متن کاملCertificate Policy Tool for Automated Cross-Certification
One of the main PKI problems is currently the lack of interoperability at international level, which is greatly dependent on the automation of the cross-certification procedure using Certificate Policies (CP). This paper addresses the above-mentioned need by presenting an XML-based tool for the automated development and comparison of CPs, with main emphasis on healthcare environments. The CP to...
متن کاملSecure Bio-Cryptographic Authentication System for Cardless Automated Teller Machines
Security is a vital issue in the usage of Automated Teller Machine (ATM) for cash, cashless and many off the counter banking transactions. Weaknesses in the use of ATM machine could not only lead to loss of customer’s data confidentiality and integrity but also breach in the verification of user’s authentication. Several challenges are associated with the use of ATM smart card such as: card clo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2012.10.011